Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
321	Regular-expression derivatives reexamined SCOTT OWENS University of Cambridge Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-01-10 16:47:22 Models of computation Computer science Software engineering Nondeterministic finite automaton Deterministic finite automaton Regular language Symbol String Regular expression Automata theory Formal languages Theoretical computer science
322	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2010-08-28 23:41:19 Logic in computer science Logic programming Automated planning and scheduling Formal methods Conjunctive normal form Situation calculus Planning Domain Definition Language Algorithm Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
323	BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-02-02 19:43:31 Applied mathematics Models of computation Computability theory Explicit substitution Reduction strategy Operational semantics Beta normal form Overlap Formal language Mathematics Theoretical computer science Lambda calculus
324	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
325	Automatically Proving the Correctness of Program Analyses and Transformations Sorin Lerner A dissertation submitted in partial fulfillment of Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2006-03-22 02:52:44 Compiler optimizations Software Compiler construction Formal methods Models of computation Compiler Dataflow Constant folding Automated theorem proving Programming language implementation Computing Software engineering
326	2002 Paper 4 Question 2 Compiler Construction The specification for a pocket-calculator-style programming language is as follows: • Valid inputs consist either of an Expression followed by the enter button or of an Ex Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:17:47 Compiler construction Formal languages Source code Lexical analysis Parsing Programming language implementation Programming language Syntax C++ classes Software engineering Computer programming Computing
327	Contextual Semantic Parsing using Crowdsourced Spatial Descriptions Kais Dukes () Institute for Artificial Intelligence, University of Leeds United Kingdom, LS2 9JT Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-05-01 20:07:36 Science Programming language implementation Compiler construction Grammar Statistical natural language processing Parsing Semantic role labeling Treebank Bottom-up parsing Linguistics Computational linguistics Formal languages
328	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
329	BRICS Basic Research in Computer Science BRICS NS-00-6 Mosses & de Moura (eds.): AS 2000 Proceedings Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-09-26 04:40:35 Peter Mosses Theoretical computer science David Watt Federal University of Pernambuco BRIC Computer science Formal methods Programming language semantics Action semantics
330	Microsoft PowerPoint - Markus_Hofmann_IOD_final.pptx Add to Reading List Source URL: edcon2013.ischool.syr.edu Language: English - Date: 2013-11-08 16:41:56 Software Formal sciences Natural language processing Statistical natural language processing Data mining Text mining Analytics Business intelligence Moodle Statistics Data analysis Science

UPDATE